@Article{Zach2004a,
  author =	 {Richard Zach},
  title =	 {Decidability of Quantified Propositional
                  Intuitionistic Logic and S4 on Trees of Height and
                  Arity $\le\omega$},
  journal =	 {Journal of Philosophical Logic},
  year =	 2004,
  volume =	 33,
  pages =	 {155--164},
  doi =		 {10.1023/B:LOGI.0000021744.10237.d0},
  scholar =	 {15184825758825835157,15198214561219081821},
  eprinttype = {philpapers}, eprint =	 {ZACDOQ},
  keywords =	 {article}
}
